Low prices! Originals & Translations! Save your budget and time!
ONLINENORMS: Online Standards Store
Click View Shopping Cart
  1. Home
  2. INTERNATIONAL ORGANIZATION FOR STANDARDIZATION-INTERNATIONAL ELECTROTECHNICAL COMMISSION
  3. ISO/IEC 13568:2002 PDF

ISO/IEC 13568:2002 PDF

ISO/IEC 13568:2002 PDF

Name:
ISO/IEC 13568:2002 PDF

Published Date:
07/01/2002

Status:
Active

Description:

Information technology - Z formal specification notation - Syntax, type system and semantics

Publisher:
International Organization for Standardization/International Electrotechnical Commission

Document status:
Active
Format:
Electronic (PDF)
Delivery time:
10 minutes
Delivery time (for Russian version):
200 business days
SKU:
Choose Document Language:
$83.4
Need Help?

The following are within the scope of this International Standard:

  • the syntax of the Z notation;
  • the type system of the Z notation;
  • the semantics of the Z notation;
  • a toolkit of widely used mathematical operators;
  • LATEX [10] and e-mail mark-ups of the Z notation.

The following are outside the scope of this International Standard:

  • any method of using Z, though an informative annex (E) describes one widely-used convention.

File Size : 1 file , 1.2 MB
Note : This product is unavailable in Russia, Ukraine, Belarus
Number of Pages : 189
Published : 07/01/2002
Same As : ISO/IEC 13568:2002

History

Related products

ISO/IEC 10967-1:2012
ISO/IEC 10967-1:2012
Published Date: 07/15/2012
Information technology - Language independent arithmetic - Part 1: Integer and floating point arithmetic
$83.4
ISO/IEC 13751:2001
ISO/IEC 13751:2001
Published Date: 02/01/2001
Information technology -- Programming languages, their environments and system software interfaces -- Programming language Extended APL
$83.4

Best-Selling Products

APSP 1-1991
APSP 1-1991
Published Date:
Standard for Public Pools
APSP 5-2003
APSP 5-2003
Published Date: 01/01/2003
Standard for Residential Inground Swimming Pools
APSP 6-1992
APSP 6-1992
Published Date: 08/06/1992
Standard for Residential Portable Spas
APSP 7-2006
APSP 7-2006
Published Date: 01/01/2006
American National Standard for Suction Entrapment Avoidance in Swimming Pools, Wading Pools, Spas, Hot Tubs, and Catch Basins
APSP 9-2005
APSP 9-2005
Published Date: 2005
Standard for Acquatic Recreation Facilities